Automating Model Transformations for Railway Systems Engineering.
نویسندگان
چکیده
منابع مشابه
Automating Systems QoS Design using Model Transformations
We describe Quality of service pICKER (QUICKER), a modeldriven QoS mapping toolchain for supporting the design and evolution of application QoS. QUICKER automates the mapping of QoS requirements onto platform-specific QoS configuration options by (1) choosing appropriate subset of QoS options for given QoS policies and (2) assigning values to each of these selected QoS options. QUICKER also pro...
متن کاملAutomating Model Transformations in Agent-Oriented Modelling
Current Agent-Oriented Software Engineering (AOSE) methodologies adopt a model-based approach for analysis and design, but, in order to become of practical use, they should include it in a clear and customizable software development process and provide CASE tools that support it. Similar issues are addressed by the Model-Driven Architecture (MDA) initiative of OMG whose ultimate objective is th...
متن کاملAutomating Proofs of Partially Ordered Model Transformations
This report discusses the feasibility of automating the proofs of transformations between partially ordered models. It extends the work of the author’s initial report [12] on model transformations with constructive type theory, by formalising a model as a partial order over classes, and a model transformation as a nested set of pre and post-conditions. This opens up the proofs of common kinds o...
متن کاملRequirements Engineering Model in Designing Complex Systems
This research tends to development of the requirements elicitation methodology with regard to operational nature and hierarchical analysis for complex systems and also, regarding available technologies. This methodology applies Analytic Hierarchy Process (AHP) and Analytic Network Process (ANP) to ensure traceability of planned qualitative and quantitative data from requirements to available te...
متن کاملUsing Analytical Transformations for Designing Engineering Systems
Scaled models often used for observing the engineering characteristics of a hypothetical design are limited in their applicability to linear and non – distorted systems. Certain changes have to be employed in the scaling procedure to account for material irregularities and geometric discontinuities when such situations when non – linear variations need to be accounted for. Building on the devel...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Journal of Object Technology
سال: 2021
ISSN: ['1660-1769']
DOI: https://doi.org/10.5381/jot.2021.20.3.a10